Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28454
posts in
23.6
ms
Agentic AI-based Coverage
Closure
for
Formal
Verification
arxiv.org
·
1d
🔧
Hardware Verification
Differential
Logic
• 16
inquiryintoinquiry.com
·
16h
🧬
Functional Programming
Robust Verification of
Stochastic
Systems:
Guarantees
in the Presence of Uncertainty
books.radbouduniversitypress.nl
·
1d
·
Discuss:
Hacker News
🔧
Hardware Verification
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
2d
🔧
Hardware Verification
SpecLoop
: An Agentic
RTL-to-Specification
Framework with Formal Verification Feedback Loop
arxiv.org
·
1d
🌐
Protocol Synthesis
Automate or
orchestrate
? Implementing a streamlined remediation program to shorten
MTTR
securityaffairs.com
·
11h
✅
Archive Fixity
A zero-dependency multi-agent AI engine that
negotiates
instead of
agreeing
github.com
·
12h
·
Discuss:
Hacker News
⚔️
Lean Tactics
The Proof Expression Problem,
Reimagined
Through Object-Oriented
Lenses
hackernoon.com
·
17h
🔗
Concatenative Programming
Functional
Safety Analysis of
Electronic
Systems
semiwiki.com
·
14h
🔧
Hardware Verification
Proofs
inkdroid.org
·
1d
⚙️
Proof Engineering
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
2d
🔧
Hardware Verification
Building a
Custom
Architecture
and Platform: Part 3
binary.ninja
·
10h
🔓
Decompilation
Introducing the Nova Rules
Validation
and Testing
Pipeline
blog.securitybreak.io
·
1d
✅
Format Verification
Optimizing
a
function
nikita.galaiko.rocks
·
30m
✅
Format Verification
Islands
of
Invariance
rastamouse.me
·
9h
🚀
Compiler Optimizations
Learnings
from a No-Code Library: Keeping the Spec Driven Development
Triangle
in Sync
dbreunig.com
·
16h
·
Discuss:
Hacker News
📏
Code Metrics
How macOS 26
Tahoe
updates: 2
Finite
state machines
eclecticlight.co
·
1d
🔌
Operating system internals
The
halting
problem in AI coding
kerno.io
·
1d
·
Discuss:
Hacker News
🔍
Concolic Testing
SOC
Software: Tools Your Team Needs in 2026
cybertriage.com
·
7h
🚨
Incident Response
Addressing a type system
limitation
with
syntactic
sugar
futhark-lang.org
·
1d
💧
Liquid Types
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help